object SyntheticNonSynthetic2 {
  def foo[A >: Exception] (a : A): Unit = {}
}
